свободная полугруппа

См. также в других словарях:

• свободная полугруппа — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN free semigroup …   Справочник технического переводчика

• СВОБОДНАЯ ПОЛУГРУППА — над алфавитом А полугруппа, элементами к рой. являются всевозможные конечные последовательности элементов из А(букв), а операция состоит в приписывании одной последовательности к другой. Элементы С. п. принято называть словами, а операцию часто… …   Математическая энциклопедия

• СВОБОДНАЯ АЛГЕБРА — к л а с с а универсальных алгебр алгебра Fиз класса , обладающая с в о б о д н о й п о р о ж д а ю щ е й с и с т е м о й (или б а з о й) X, т. е. таким множеством порождающих X, что всякое отображение множества Xв любую алгебру Аиз продолжается… …   Математическая энциклопедия

• УПОРЯДОЧЕННАЯ ПОЛУГРУППА — полугруппа, наделенная структурой (частичного, вообще говоря) порядка стабильного относительно полугрупповой операции, т. е. для любых элементов а, b, с из следует и Если отношение на У. н. Sесть линейный порядок, то S наз. линейно упорядоченной… …   Математическая энциклопедия

• ЛОКАЛЬНО КОНЕЧНАЯ ПОЛУГРУППА — полугруппа, в к рой каждая конечно порожденная подполугруппа конечна. Всякая Л. к. п. будет периодической полугруппой. Обратное неверно: существуют даже периодич. группы, не являющиеся локально конечными (см. Бёрнсайда проблема). Задолго до… …   Математическая энциклопедия

• РЕШЕТКА ПОДАЛГЕБР — у н и в е р с а л ь н о й а л г е б р ы А частично упорядоченное (отношением теоретико множественного включения) множество Sub A всех подалгебр алгебры А. Для произвольных их супремумом будет подалгебра, порожденная Xи Y, а их инфинумом… …   Математическая энциклопедия

• ОПЕРАТОРНАЯ ГРУППА — 1) О. г. однопараметрическая группа операторов в банаховом пространстве Е, т. е. семейство линейных ограниченных операторов , такое, что U0=I, Us+t=Us*Ut и Ut непрерывно зависит от t(в равномерной, сильной или слабой топологии). Если Е… …   Математическая энциклопедия

• АЛГЕБРАИЧЕСКИХ СИСТЕМ МНОГООБРАЗИЕ — алгебраических систем класс фиксированной сигнатуры и, аксиоматизируемый при помощи тождеств, т. е. формул вида где к. л. предикатный символ из или знак равенства, а термы сигнатуры Q от предметных переменных А. с. м. наз. иначе э к,… …   Математическая энциклопедия

• ИДЕАЛЬНОЕ ЧИСЛО — элемент полугруппы D дивизоров кольца Ацелых чисел нек рого поля алгебраич. чисел. Полугруппа D коммутативная свободная полугруппа с единицей; ее свободные образующие наз. простыми идеальными числами. В современной терминологии И. ч. наз. целыми… …   Математическая энциклопедия

• ЛИ АЛГЕБР МНОГООБРАЗИЕ — над кольцом k класс алгебр Ли над k, удовлетворяющих некрой фиксированной системе тождеств. К наиболее распространенным Ли а. м. относятся многообразия: абелевых алгебр Ли, заданное тождеством нильпотентных класса салгебр Ли, в к рых любые… …   Математическая энциклопедия

• Строковый тип — В программировании, строковый тип (англ. string «нить, вереница»)  тип данных, значениями которого является произвольная последовательность (строка) символов алфавита. Каждая переменная такого типа (строковая переменная) может быть… …   Википедия